protocol validation
英 [ˈprəʊtəkɒl ˌvælɪˈdeɪʃən]
美 [ˈproʊtəkɑːl ˌvæləˈdeɪʃən]
网络 协议证实; 协议确认; 协议验证
双语例句
- Much research has been done recently in the area of formal description techniques ( FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术（FDT）领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。 - Protocol Validation by Knowledge-Based Strategy
基于知识的协议验证方法 - Reliable strategy for automated Protocol Validation
协议自动验证的可靠策略 - On the basis of this model, some important concepts such as protocol error, the correct probability of protocol, and the complexity of validation algorithm are defined formally.
本文将人工智能技术引入协议验证，建立了验证的图搜索模型，定义了协议错误、协议正确程度、验证算法的复杂度等概念。 - It designs a multicast routing protocol, using sector, which is based on intelligent energy controlled. Its validation is verified by simulations.
设计了一种基于智能能量控制的扇区多播路由协议，通过仿真予以验证，在理论上证明提出算法的可行性。 - The protocol can provide identity authentication, key validation, perfect forward secrecy, and foil man-in-the-middle attacks.
该协议提供身份认证、密钥确认、完美前向安全性，并能够防止中间人攻击。 - After Analyzing existing protocol validation techniques, we propose a FSM simplified method and an error-first search algorithm. Based on this strategy, an automated protocol validation system ( APVS) in which protocols are specified in ESTELLE is developed and discussed.
本文在分析现有验证技术的基础上，提出了实体自动机化简方法和错误优先的搜索算法（EFSA），同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS。 - The files should include validation protocol, validation report, evaluation and suggestions, approval person, etc.
验证文件应包括验证方案、验证报告、评价和建议、批准人等。 - The formal description of the network protocol is very important for specification, validation and implementation of the protocol.
网络协议的形式化描述对于协议的定义，协议的正确性验证以及协议的实施有着非常重要的意义。 - The complete node and process model of AOS protocol have been built by OPNET software, and a simple network scenario has been built to simulate and verify the validation of the protocol model.
用OPNET软件搭建AOS协议封装节点模型和各个进程模型，建立简单网络场景进行仿真验证协议封装节点模型的有效性。